Almighty, the Universe

On the Almighty Wand

We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify properties about the memory heap of programs with singly-linked lists. Separation logic with two record fields is known to be undecidable by reduction of finite satisfiability for classical predicate logic with one bina...

MDA5: the almighty for Myocardium.

Almighty Twitter, What Are People Asking for?

With the advance of modern technology, social networking sites, such as Twitter, are becoming increasingly important information sources for people to find answers to their questions. Given such trend, in this project, we report results from our analysis of 10,000 English-written question tweets with expectations of helpful answers (which we call “information seeking tweets” in the following pa...

The Qur’an and Mysticism On The Universe of Two Sides

The universe has an exterior known as the material world and an interior called the “hereafter.” So are the Qur’an and mankind. In other words, the universe, mankind and the Qur’an have hierarchical stages. The universe and mankind comprise the physical world, but the Qur’an constitutes the Divine Law. Since the origin of all three is one single source, one can say the former matches t...

The Anamorphic Universe the Anamorphic Universe

We introduce “anamorphic” cosmology, an approach for explaining the smoothness and flatness of the universe on large scales and the generation of a nearly scale-invariant spectrum of adiabatic density perturbations. The defining feature is a smoothing phase that acts like a contracting universe based on some Weyl frame-invariant criteria and an expanding universe based on other frame-invariant ...